to sum up ... - German English Dictionary